A Kevin week
blog.mitrichev.ch·19h·
Discuss: blog.mitrichev.ch
🧩Constraint Solvers
How to Become a Machine Learning Engineer (Step-by-Step)
towardsdatascience.com·4h
🌱Minimal ML
Making Sense of Linear Independence with Python
dev.to·3d·
Discuss: DEV
🔢Algebraic Datatypes
Topological Sort: Managing Mutable Structures in Haskell
mmhaskell.com·8h
🪢Rope Data Structures
Basic Guide to Einsum
ajcr.net·21h·
Discuss: Hacker News
🔄Loop Optimization
Language Models Pack Billions of Concepts into 12,000 Dimensions
nickyoder.com·13h·
Discuss: Lobsters, Hacker News
🌱Minimal ML
What is Algebraic about Algebraic Effects?
interjectedfuture.com·53m
💫Effect Systems
[CS 2881r] Some Generalizations of Emergent Misalignment
lesswrong.com·1d
🔍ML Language
Physics-informed sensor coverage through structure preserving machine learning
arxiv.org·12h
🔍ML Language
CRT-structured Collatz blocks
researchgate.net·3d·
Discuss: r/mathematics
λLambda Calculus
Identifying Divergences in HW Designs For High Performance Computing Workloads (LBNL et al.)
semiengineering.com·31m
⚡Performance
Semantic Dictionary Encoding
falvotech.com·2h·
Discuss: Hacker News
🗂️Type Indexing
I didn’t know these Excel functions existed, but now I can’t live without them
makeuseof.com·2h
📝Editor Buffers
Graceful Motion: Learning to Flow with AI by Arvind Sundararajan
dev.to·16h·
Discuss: DEV
🌊Loop Invariant Motion
Calculus Made Easy by Silvanus P. Thompson
calculusmadeeasy.org·1d·
Discuss: Hacker News
πPi Calculus
A Lisp compiler to ARM written in Lisp (2)
forum.ulisp.com·4h·
Discuss: Hacker News
🌱Minimal Lisps
LLM Rerankers for RAG: A Practical Guide
fin.ai·19h·
Discuss: Hacker News, Hacker News
🪜Recursive Descent
The future of microoptimization
goldenstack.net·2d·
Discuss: Hacker News
🔬Nanopasses
Balance between refactoring and inheritance in your code
github.com·5h·
Discuss: Hacker News
🧪Compiler Testing
«Maths is my passion»
ethz.ch·11h
∫Mathematical DSLs